英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 12:06:53 [焦点] 来源：苏州金逸康自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
Littelfuse推出直角照明轻触开关
空调也疯狂之“土豪金”驾临—万维家电网
GMCC：2020年变频房间空调器能效提升20%—万维家电网
奥克斯空调火力全开三大秘笈迎战激情世界杯—万维家电网
回顾2024年可穿戴芯片新品：AI技术迭代加速，医疗监测成为发展新主线推荐文章
-
宁德时代与Stellantis集团合资建厂，总投资41亿欧元
近日，宁德时代与全球知名汽车制造商Stellantis集团联合宣布了一项重大合作计划。双方将共同出资，各持股50%，在西班牙萨拉戈萨市建立一座大型磷酸铁锂电池工厂。据悉，该工厂的投资总额高达41亿欧元
...[详细]
-
奥克斯结盟《变形金刚4》不只是拉开了空调界与影视娱乐界的跨界整合营销，也悄然拉开了整个空调产业变局、市场变脸的前奏序幕。 当不少企业意识到，《变形金刚4》作为拉开今年暑假电影档的重磅大片，而准备
...[详细]
-
热!热!热!随着“三伏天”临近，各地气温急剧上升，今夏最热模式即将开启。各大空调品牌均摩拳擦掌，虎视眈眈，最炎热“骄阳天”来袭之前的最后一波空调促销大战即将震撼打响。五一疯抢大促、抢滩《中国好声音》
...[详细]
-
随着房价的不断攀升，如今可以说是寸土寸金，小户型房屋成了众多消费者的首选，但是我们购买房屋后，往往会发现它远比自己想象中的空间还要小，这是为什么呢？以60平房屋为例，去除公摊面积7平米，装修后的衣柜、
...[详细]
-
1. CBB电容器的基本概念CBB电容器，全称为聚丙烯薄膜电容器，是一种以聚丙烯薄膜为介质的电容器。它具有自愈性、高稳定性、低损耗、高可靠性等优点，适用于高频、高压、高可靠性的场合。2. CBB电容器
...[详细]
-
6月20日，扬子空调全国首家集成体验中心在滁州正式投入运营。在当天举行的盛大的剪裁仪式上，扬子空调家用空调事业总经理何春生、中央空调事业总经理王建军，副总经理李勇以及诸多地区的核心经销商合作伙伴代
...[详细]
-
近日，北师大学子将流行歌曲《董小姐》改编为《董校长》，向校方“卖萌”求空调，并得到校方自制《行动代表我的心》MV回应称明年五一前所有空调安装到位。时下正值考生填报志愿之际，更有不少学校给出了“宿舍
...[详细]
-
近日，志高集团携旗下家用空调、移动空调、中央空调、红酒柜等系列产品亮相2014年澳大利亚国际制冷、空调及通风设备展ARBS），展会云集全球各地制造商、供应商、行业决策者和最终用户，最新的技术和产品
...[详细]
-
SATASerial Advanced Technology Attachment）硬盘是一种广泛使用的硬盘接口技术，以其高速数据传输和较高的数据传输率而受到用户的青睐。然而，为了确保SATA硬盘的安
...[详细]
-
连日来闷热潮湿的天气，让市民们不得不减少外出，呆在清凉宜人的空调房内。小奥在此提醒您，在空调频繁使用季节，要当心空调污染，防止微生物超标危害您和家人的健康。在密闭的空调房内，室内生物性污染主要来源于空
...[详细]
热点阅读
